touch transitive.mdg
python3 ./script/transitive.py symbol_sort.mdg transitive.mdg
sort transitive.mdg > transitive_sort.mdg

#so far, no need to deduplicate transitive.mdg
